Algebraic graph transformations with inheritance and abstraction
نویسندگان
چکیده
منابع مشابه
Algebraic graph transformations with inheritance and abstraction
In this paper, we propose a new approach to inheritance and abstraction in the context of algebraic graph transformation by providing a suitable categorial framework which reflects the semantics of class-based inheritance in software engineering. Inheritance is modelled by a type graph T that comes equipped with a partial order. Typed graphs are arrows with codomain T which preserve graph struc...
متن کاملAlgebraic Graph Transformations with Inheritance
In this paper, we propose a new approach to inheritance in the context of algebraic graph transformation by providing a suitable categorial framework which reflects the semantics of class-based inheritance in software engineering. Inheritance is modelled by a type graph T that comes equipped with a partial order. Typed graphs are arrows with codomain T which preserve graph structures up to inhe...
متن کاملGraph Abstraction and Abstract Graph Transformations (Amended Version)
Many important systems such as concurrent heap-manipulating programs, communication networks, or distributed algorithms, are hard to verify due to their inherent dynamics and unboundedness. Graphs are an intuitive representation for the states of these systems, where transitions can be conveniently described by graph transformation rules. We present a framework for the abstraction of graphs sup...
متن کاملGraph Polynomials and Graph Transformations in Algebraic Graph Theory
The thesis consists of two parts. In the first part we study two graph transformations,namely the Kelmans transformation and the generalized tree shift. In the second part of thisthesis we study an extremal graph theoretic problem and its relationship with algebraic graphtheory. The main results of this thesis are the following. • We show that the Kelmans transformation is a very ef...
متن کاملAlgebraic Graph Transformations for Merging Ontologies
The conception of an ontology is a complex task influenced by numerous factors like the point of view of the authors or the level of details. Consequently, several ontologies have been developed to model identical or related domains leading to partially overlapping representations. This divergence of conceptualization requires the study of ontologies merging in order to create a common reposito...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2015
ISSN: 0167-6423
DOI: 10.1016/j.scico.2015.02.004